Cesp(E1,E2)的k一致凸性

文章讨论了Banach空间的k一致凸性在cesp(E1，E2)中的提升问题。     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

论产品开发中的并行设计

我国制造企业普遍存在的问题是缺乏新产品的设计与开发能力 ,他们迫切希望缩短产品的开发周期、降低成本、提高质量。在这种形势下 ,并行设计应运而生。文章主要阐述了运用并行设计开发新产品的必要性、关键因素和所取得的成效     

一类捕食者——食饵模型的定性分析

本文对一类捕食者——食饵模型进行定性分析,得到了非平凡平衡点全局稳定性的条件和正平衡点周围存在唯一极限环的充分条件,并且本文给出了1个关于这类系统“大范围”极限环的存在唯一性定理。     

Bi掺杂的直接甲醇燃料电池阳极催化剂研究进展

发展可替代能源对缓解全球能源问题具有重要意义。直接甲醇燃料电池(direct methanol fuel cell,DMFC) 因其工作温度低、能量密度高以及污染物排放少等特性,正逐渐成为最有发展前景的便携式能源技术之一。目前,其商业化进程主要取决于甲醇氧化反应(methanol oxidation reaction,MOR) 的动力学快慢、催化剂的成本和寿命。Bi元素的掺杂可以极大地提高甲醇电催化氧化的性能,并且可以提高阳极催化剂抵抗CO中毒的能力。介绍了掺杂Bi的贵金属和非贵金属阳极电催化剂,以及贵金属掺杂Bi₂O₃、Bi₂WO₆ 等光辅助电催化剂;综述了它们提高甲醇电催化氧化性能的机制,并展望了阳极Bi电催化剂在DMFC中所面临的机遇和挑战。     

应急物资需求预测研究现状与发展趋势

应急物资需求预测研究是灾后应急救援的重要组成部分。为系统了解应急物资需求预测的研究现状,查阅大量国内外参考文献,对目前应急物资需求预测研究中常用的案例推理法、神经网络法和灰色系统预测法进行了讨论分析,总结了各自的优缺点及适用条件;并分析总结了近几年的研究重点方向。结果表明,应急物资需求预测在多元化、准确性、智能化等方面的进一步研究对灾后救援有着更大的现实意义。基于此,本文对应急物资需求预测未来的发展方向及研究重点进行了展望,对于应急物资需求预测未来的研究及应急救援体系的建立具有一定的参考作用。     

基于地理信息系统与斜坡单元的峨边县地质灾害易发性评价

斜坡单元依据山脊线和山谷线划分的单元,能够体现研究区的真实地质环境条件,作为评价单元在地质灾害易发性评价中具有重要意义。采用地理信息系统(geographic information system, GIS),运用水文分析工具提取峨边县斜坡单元,选取归一化植被指数、坡度、高程、地形起伏度、地层岩性、距水系的距离、距断层距离、距道路的距离8个因子,使用逻辑回归模型(logistic regression, LR),制得地质灾害易发性概率图,将其划分为非易发区、低易发区、中易发区、高易发区和极高易发区。结果表明：ROC(receiver operating characteristic curve)曲线的线下面积(area under curve, AUC)精度检验值为0.917,极高易发区和高易发区内地质灾害点数占总灾害点数的81.3%,说明对峨边县进行基于斜坡单元使用逻辑回归进行地质灾害的易发性评价具有可行性和较高精度。     

A novel mechanism for jumping in the indian ant<Emphasis Type="Italic">Harpegnathos saltator</Emphasis> (Jerdon) (Formicidae,Ponerinae)

The Indian antHarpegnathos saltator may be unique among insects in using its jumping capacity not only as an escape mechanism but also as a normal means of locomotion, and for catching its prey in flight. High-speed cinematography used to analyse the various phases of the jump suggests thatHarpegnathos employs a novel jumping mechanism to mediate these behaviours: namely the synchronous activation of its middle and hindlegs. Electrophysiological recordings from muscles or nerves in pairs of middle and hindlegs show remarkably synchronous activity during fictive jumping, supporting the synchronous activation hypothesis.Harpegnathos is not the only ant to jump, and a cladistic analysis suggests that jumping behaviour evolved independently three times during ant evolutionary history.     

天竺葵绒毡层发育的细胞学及其与花粉发育的关系

本文应用细胞化学和光镜及电子显微镜技术对天竺葵绒毡层发育的全过程进行了系统研究．发现天竺葵变形绒毡层的发育具有如下特点：（１）绒毡层侵入药室的时间在小孢子大液泡时期;（２）侵入后要经历一个细胞质重建过程,并在较长的一段时间内保持生理活跃状态,合成大量的脂类物质;（３）绒毡层合成的营养物质及自身降解的产物均被花粉吸收利用,物质的吸收通过萌发孔进行．     

高分子力学中的Valanis－Landel假说

根据经验公式的建立原则和橡胶的各向同性性能,讨论了Ｖａｌａｎｉｓ－Ｌａｎｄｅｌ假说中关于“任何一种应变类型的应力一应变关系,可从单一的纯剪试验推导出来”这一重要结论,并证明了结论的正确性,还研究了结论的应用。